From d3ae855ce67e66f055174909f98239ff4676fbb2 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Mon, 22 Jun 2009 11:46:03 -0400 Subject: [PATCH] Forgotten header file --- gtk/gtkmenu.h | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/gtk/gtkmenu.h b/gtk/gtkmenu.h index 6f988f0033..4cdcad3fc3 100644 --- a/gtk/gtkmenu.h +++ b/gtk/gtkmenu.h @@ -209,6 +209,12 @@ GList* gtk_menu_get_for_attach_widget (GtkWidget *widget); #define gtk_menu_insert(menu,child,pos) gtk_menu_shell_insert ((GtkMenuShell *)(menu),(child),(pos)) #endif /* GTK_DISABLE_DEPRECATED */ +/* private */ + +void _gtk_menu_set_reserve_toggle_size (GtkMenu *menu, + gboolean reserve); + + G_END_DECLS #endif /* __GTK_MENU_H__ */ -- 2.30.2